all:	boot.rle boot.xpm.gz

boot.rle:	boot.ppm
# Generate the RLE image type used by ISOLINUX
	@ppmtolss16 '#ffffff=0' < boot.ppm > boot.rle 2>&1 
	@echo "ISOLINUX splash image = boot.rle generated"

boot.xpm.gz:	boot.ppm
# Generate the compressed xpm used by GRUB
# This requires the 'imagemagick' package
	@convert ppm:boot.ppm -colors 14 -resize 640x480 xpm:boot.xpm
	@gzip -f boot.xpm
	@echo "GRUB splash image = boot.xpm.gz generated"
